

char *BOARD_TYPE_TO_STRING[] = {
    "Simple Node v5"
};